Communication et formation : programmes et réception
نویسندگان
چکیده
منابع مشابه
Conceptions et usages des plates-formes de formation, Revue Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation
Les plates-formes de formation sont au cœur du développement de la formation en ligne. Composantes à part entière des dispositifs de formation, on ne peut les réduire aux seuls aspects technologiques. En effet, les modèles sous-jacents conditionnent la formation dans son ensemble, de la préparation des enseignements jusqu’au déroulement des sessions d’apprentissage. Les recherches liées à ces p...
متن کاملCompilation et vérification de programmes LOTOS
LOTOS (Language Of Temporal Ordering Specification) is a language for the description of concurrent and communicating systems, standardized by ISO and CCITT to allow formal definition of telecommunication protocols and services. LOTOS is based on algebraic abstract types to specify data structures and on a process calculus, close to CSP and CCS, to express control structures. This thesis propos...
متن کاملAnalyse statique de programmes et systèmes numériques
Alors que la complexité des traitements informatiques dans les systèmes embarqués croit chaque jour, la sûreté du fonctionnement de ces systèmes devient un enjeu crucial, tout particulièrement pour les systèmes critiques. Plus largement, synthétiser et garantir des propriétés sur le comportement d’un programme, est un objectif naturel et de large utilité. Cette habilitation (Putot, 2012) porte ...
متن کاملVerifying ET-LOTOS programmes with KRONOS
ET-LOTOS is a timed extension of LOTOS proposed for modeling real-time systems. Kronos is a tool that checks whether an automaton extended with clocks (called timed automaton) satisses a real-time requirement expressed as a formula of the logic TCTL. This paper shows that real-time systems described in a reasonable subset of ET-LOTOS can be veriied with Kronos by compiling them into timed autom...
متن کاملPréservation Des Preuves Et Transformation De Programmes Préservation Des Preuves Et Transformation De Programmes Certificate Translation alongside Program Transformations
Software applications have gained a notable role in our everyday activities, mobile code applications being a significant portion of these software agents. The mobile code paradigm entails the distribution of applications from the code producer to heterogeneous client environments in which they are executed. An extended practice of this paradigm consists in the development of third party compon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communication et organisation
سال: 1998
ISSN: 1168-5549,1775-3546
DOI: 10.4000/communicationorganisation.2085